[INFO] fetching crate hax-driver 0.3.1...
[INFO] checking hax-driver-0.3.1 against try#a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399 for pr-145770
[INFO] extracting crate hax-driver 0.3.1 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate hax-driver 0.3.1
[INFO] finished tweaking crates.io crate hax-driver 0.3.1
[INFO] tweaked toml for crates.io crate hax-driver 0.3.1 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate hax-driver 0.3.1 on toolchain a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate hax-driver 0.3.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 206dda38efaee2bc59c8e696ac03d7ccd56861ecae2413933f040b2c26662473
[INFO] running `Command { std: "docker" "start" "-a" "206dda38efaee2bc59c8e696ac03d7ccd56861ecae2413933f040b2c26662473", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "206dda38efaee2bc59c8e696ac03d7ccd56861ecae2413933f040b2c26662473", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "206dda38efaee2bc59c8e696ac03d7ccd56861ecae2413933f040b2c26662473", kill_on_drop: false }`
[INFO] [stdout] 206dda38efaee2bc59c8e696ac03d7ccd56861ecae2413933f040b2c26662473
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a2a6e871b05c7b8ecc9a3c8a20db1f39e995e399" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a9419467e3079563e2e3e481cebcc1158b183219b05bceebe03ffaaa6024640e
[INFO] running `Command { std: "docker" "start" "-a" "a9419467e3079563e2e3e481cebcc1158b183219b05bceebe03ffaaa6024640e", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling libc v0.2.159
[INFO] [stderr]    Compiling serde v1.0.210
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking once_cell v1.20.1
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling pkg-config v0.3.31
[INFO] [stderr]    Compiling serde_json v1.0.128
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]     Checking anstyle v1.0.8
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]     Checking pin-project-lite v0.2.14
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]    Compiling schemars v0.8.21
[INFO] [stderr]     Checking colorchoice v1.0.2
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking dyn-clone v1.0.17
[INFO] [stderr]    Compiling zstd-safe v7.2.1
[INFO] [stderr]     Checking log v0.4.22
[INFO] [stderr]     Checking anstyle-query v1.1.1
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]     Checking anstyle-parse v0.2.5
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling thiserror v1.0.64
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking anstream v0.6.15
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]     Checking clap_lex v0.7.2
[INFO] [stderr]     Checking overload v0.1.1
[INFO] [stderr]     Checking nu-ansi-term v0.46.0
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]     Checking clap_builder v4.5.19
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]    Compiling hax-types v0.3.1
[INFO] [stderr]     Checking tracing-log v0.1.4
[INFO] [stderr]     Checking annotate-snippets v0.11.4
[INFO] [stderr]     Checking colored v2.1.0
[INFO] [stderr]     Checking path-clean v1.0.1
[INFO] [stderr]     Checking quote v1.0.37
[INFO] [stderr]    Compiling syn v2.0.79
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking uuid v1.10.0
[INFO] [stderr]     Checking regex-automata v0.4.8
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling cc v1.1.24
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking regex v1.11.0
[INFO] [stderr]     Checking matchers v0.1.0
[INFO] [stderr]    Compiling zstd-sys v2.0.13+zstd.1.5.6
[INFO] [stderr]    Compiling serde_derive_internals v0.29.1
[INFO] [stderr]    Compiling ext-trait-proc_macros v1.0.1
[INFO] [stderr]    Compiling hax-adt-into v0.3.1
[INFO] [stderr]     Checking ext-trait v1.0.1
[INFO] [stderr]     Checking extension-traits v1.0.1
[INFO] [stderr]    Compiling serde_derive v1.0.210
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling thiserror-impl v1.0.64
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling miette-derive v7.2.0
[INFO] [stderr]     Checking zstd v0.13.2
[INFO] [stderr]    Compiling schemars_derive v0.8.21
[INFO] [stderr]     Checking miette v7.2.0
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[INFO] [stderr]     Checking clap v4.5.19
[INFO] [stderr]     Checking tracing-tree v0.2.5
[INFO] [stderr]     Checking serde-brief v0.1.0
[INFO] [stderr]     Checking hax-lib-macros-types v0.3.1
[INFO] [stderr]     Checking hax-frontend-exporter-options v0.3.1
[INFO] [stderr]     Checking hax-frontend-exporter v0.3.1
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:2:40
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![cfg_attr(feature = "rustc", feature(concat_idents))]
[INFO] [stdout]   |                                        ^^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in CURRENT_RUSTC_VERSION; see <https://github.com/rust-lang/rust/pull/142704> for more information
[INFO] [stdout]   = note: use the `${concat(..)}` metavariable expression instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     extern crate rustc_abi;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     extern crate rustc_ast;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast_pretty`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     extern crate rustc_ast_pretty;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_attr_data_structures`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     extern crate rustc_attr_data_structures;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_apfloat`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     extern crate rustc_apfloat;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_eval`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     extern crate rustc_const_eval;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     extern crate rustc_data_structures;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     extern crate rustc_driver;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hashes`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     extern crate rustc_hashes;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 |     extern crate rustc_errors;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     extern crate rustc_hir;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir_analysis`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     extern crate rustc_hir_analysis;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_index`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     extern crate rustc_index;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_infer`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     extern crate rustc_infer;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_interface`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     extern crate rustc_interface;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_middle`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     extern crate rustc_middle;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_mir_build`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     extern crate rustc_mir_build;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_session`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     extern crate rustc_session;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_span`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     extern crate rustc_span;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_target`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     extern crate rustc_target;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_trait_selection`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 44 |     extern crate rustc_trait_selection;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_type_ir`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     extern crate rustc_type_ir;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_lexer`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     extern crate rustc_lexer;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `mir::Operand`, `RDefKind::*`, `RDefKind::*`, `ty::Visibility`, `ty::TermKind`, `DefKind::*`, `DefKind::*`, `DefKind::*`, `ast::LitFloatType`, `ast::MacroDef`, `ty::Upcast`, `thir::LogicalOp`, `thir::LintLevel`, `thir::FruInfo`, `thir::AdtExprBase`, `thir::BlockSafety`, `thir::Block`, `thir::Stmt`, `thir::StmtKind`, `thir::Ascription`, `thir::PatRange`, `thir::PatRangeBoundary`, `thir::PatKind`, `thir::Arm`, `thir::Param`, `thir::ExprKind`, `ty::ParamTy`, `ty::ParamConst`, `ty::ExistentialPredicate`, `ty::DynKind`, `ty::BoundTyKind`, `ty::BoundTy`, `ty::BoundRegionKind`, `ty::BoundRegion`, `ty::UserSelfTy`, `ty::UserArgs`, `ty::UserType`, `ty::VariantDiscr`, `ty::util::Discr`, `ty::EarlyParamRegion`, `ty::LateParamRegion`, `ty::LateParamRegionKind`, `ty::RegionKind`, `ty::Region`, `ty::GenericArgKind`, `ty::InferTy`, `ty::TypeAndMut`, `ty::GenericParamDef`, `ty::Generics`, `ty::TyKind`, `ty::Variance`, `ty::CanonicalUserTypeAnnotation`, `ty::AdtKind`, `ty::adjustment::PointerCoercion`, `ty::FnSig`, `ty::TraitRef`, `ty::TraitPredicate`, `ty::ClauseKind`, `ty::BoundVariableKind`, `ty::GenericPredicates`, `ty::SubtypePredicate`, `ty::CoercePredicate`, `ty::AliasRelationDirection`, `ty::ClosureKind`, `ty::PredicateKind`, `ty::AssocItem`, `ty::AssocKind`, `ty::ImplTraitInTraitData`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:35:10
[INFO] [stdout]      |
[INFO] [stdout] 35   | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 889  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:425:13
[INFO] [stdout]      |
[INFO] [stdout] 425  |         use mir::Operand;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:245:17
[INFO] [stdout]      |
[INFO] [stdout] 245  |             use ty::Upcast;
[INFO] [stdout]      |                 ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 611  |     use RDefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 655  |     use RDefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/thir.rs:10:10
[INFO] [stdout]      |
[INFO] [stdout] 10   | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 19   | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 27   | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37   | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 397  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 420  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 430  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 441  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 462  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 551  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 567  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 588  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/ty.rs:37:10
[INFO] [stdout]      |
[INFO] [stdout] 37   | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 46   | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56   | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93   | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 102  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 111  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 122  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 132  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 205  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 214  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 225  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 256  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 265  | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 283  |         use ty::Visibility as T;
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 372  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 381  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 390  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 400  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 418  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 427  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 462  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 587  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 604  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 636  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 788  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 872  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 884  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 896  | #[derive(AdtInto, Copy, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 971  | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 989  | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1006 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1017 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1069 |         use ty::TermKind;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1116 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1178 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1229 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1260 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1271 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1281 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1342 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1355 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1371 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1390 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1467 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:136:13
[INFO] [stdout]      |
[INFO] [stdout] 136  |         use DefKind::*;
[INFO] [stdout]      |             ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:63:9
[INFO] [stdout]      |
[INFO] [stdout] 63   |     use DefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 104  |     use DefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 614 |         | crate::DefKind::AssocFn
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Const` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Const`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Const`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Const`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 615 |         | crate::AssocItemKind::Const
[INFO] [stdout]     |           ++++++++++++++++++++++
[INFO] [stdout] 615 |         | crate::AssocKind::Const
[INFO] [stdout]     |           ++++++++++++++++++
[INFO] [stdout] 615 |         | crate::BoundVariableKind::Const
[INFO] [stdout]     |           ++++++++++++++++++++++++++
[INFO] [stdout] 615 |         | crate::Constness::Const
[INFO] [stdout]     |           ++++++++++++++++++
[INFO] [stdout]     = and 3 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Enum` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ---- variable not in all patterns
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Enum`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 616 |         | crate::AdtKind::Enum
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 616 |         | crate::DefKind::Enum
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 616 |         | serde::de::Unexpected::Enum
[INFO] [stdout]     |           +++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Field` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Field`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Field`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Field`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 617 |         | crate::DefKind::Field
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 617 |         | crate::FullDefKind::Field
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Fn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           -- variable not in all patterns
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 618 |         | crate::AssocKind::Fn
[INFO] [stdout]     |           ++++++++++++++++++
[INFO] [stdout] 618 |         | crate::ClosureKind::Fn
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 618 |         | crate::CtorKind::Fn
[INFO] [stdout]     |           +++++++++++++++++
[INFO] [stdout] 618 |         | crate::DefKind::Fn
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           --------- variable not in all patterns
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 619 |         | crate::DefKind::ForeignTy
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 619 |         | crate::FullDefKind::ForeignTy
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Mod` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Mod`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           --- variable not in all patterns
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::Mod`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 621 |         | crate::DefKind::Mod
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Struct` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Struct`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ------ variable not in all patterns
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 623 |         | crate::AdtKind::Struct
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 623 |         | crate::CtorOf::Struct
[INFO] [stdout]     |           +++++++++++++++
[INFO] [stdout] 623 |         | crate::DefKind::Struct
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Trait` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Trait`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::Trait`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 624 |         | crate::DefKind::Trait
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TraitAlias` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 625 |         | crate::DefKind::TraitAlias
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 625 |         | crate::FullDefKind::TraitAlias
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Union` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Union`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Union`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Union`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 627 |         | crate::AdtKind::Union
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 627 |         | crate::DefKind::Union
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 627 |         | crate::VariantKind::Union
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Use` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Use`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Use`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           --- variable not in all patterns
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 628 |         | crate::DefKind::Use
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 628 |         | crate::DefPathItem::Use
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 628 |         | crate::FullDefKind::Use
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Variant` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Variant`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 629 |         | crate::CtorOf::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           +++++++++++++++
[INFO] [stdout] 629 |         | crate::DefKind::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 629 |         | crate::FullDefKind::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:614:11
[INFO] [stdout]     |
[INFO] [stdout] 613 |         AssocConst
[INFO] [stdout]     |         ---------- variable not in all patterns
[INFO] [stdout] 614 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 615 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 616 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 617 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 618 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 619 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 621 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 623 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 624 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 625 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 627 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 628 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 629 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 613 |         crate::DefKind::AssocConst
[INFO] [stdout]     |         ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 632 |         | crate::DefKind::AssocTy
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Closure` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 633 |         | crate::DefKind::Closure
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 633 |         | crate::DefPathItem::Closure
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ConstParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 634 |         | crate::DefKind::ConstParam
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 634 |         | crate::FullDefKind::ConstParam
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ExternCrate` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ----------- variable not in all patterns
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 636 |         | crate::DefKind::ExternCrate
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 636 |         | crate::FullDefKind::ExternCrate
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignMod` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 637 |         | crate::DefKind::ForeignMod
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 637 |         | crate::DefPathItem::ForeignMod
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `GlobalAsm` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           --------- variable not in all patterns
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 638 |         | crate::DefKind::GlobalAsm
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 638 |         | crate::DefPathItem::GlobalAsm
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 638 |         | crate::FullDefKind::GlobalAsm
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `InlineConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ----------- variable not in all patterns
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::InlineConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 640 |         | crate::DefKind::InlineConst
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `LifetimeParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ------------- variable not in all patterns
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 641 |         | crate::DefKind::LifetimeParam
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 641 |         | crate::FullDefKind::LifetimeParam
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `OpaqueTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           -------- variable not in all patterns
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 642 |         | crate::DefKind::OpaqueTy
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 642 |         | crate::DefPathItem::OpaqueTy
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 642 |         | crate::FullDefKind::OpaqueTy
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `SyntheticCoroutineBody` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ---------------------- variable not in all patterns
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 643 |         | crate::DefKind::SyntheticCoroutineBody
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 643 |         | crate::FullDefKind::SyntheticCoroutineBody
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TyParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:631:9
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 644 |         | crate::DefKind::TyParam => None,
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 644 |         | crate::FullDefKind::TyParam => None,
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AnonConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:632:11
[INFO] [stdout]     |
[INFO] [stdout] 631 |         AnonConst
[INFO] [stdout]     |         --------- variable not in all patterns
[INFO] [stdout] 632 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 633 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 634 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 636 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 637 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 638 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 639 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 640 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 641 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 642 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 643 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 644 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 631 |         crate::DefKind::AnonConst
[INFO] [stdout]     |         ++++++++++++++++
[INFO] [stdout] 631 |         crate::DefPathItem::AnonConst
[INFO] [stdout]     |         ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `LifetimeParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:658:9
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ^^^^^^^^^^   -------------   ^^^^^^^   ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |         |            variable not in all patterns
[INFO] [stdout]     |         pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | crate::DefKind::LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |                      ++++++++++++++++
[INFO] [stdout] 658 |         ConstParam | crate::FullDefKind::LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |                      ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TyParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:658:9
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ^^^^^^^^^^   ^^^^^^^^^^^^^   -------   ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               variable not in all patterns
[INFO] [stdout]     |         |            pattern doesn't bind `TyParam`
[INFO] [stdout]     |         pattern doesn't bind `TyParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | crate::DefKind::TyParam | ForeignMod => &[],
[INFO] [stdout]     |                                      ++++++++++++++++
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | crate::FullDefKind::TyParam | ForeignMod => &[],
[INFO] [stdout]     |                                      ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignMod` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:658:9
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ^^^^^^^^^^   ^^^^^^^^^^^^^   ^^^^^^^   ---------- variable not in all patterns
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               pattern doesn't bind `ForeignMod`
[INFO] [stdout]     |         |            pattern doesn't bind `ForeignMod`
[INFO] [stdout]     |         pattern doesn't bind `ForeignMod`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | TyParam | crate::DefKind::ForeignMod => &[],
[INFO] [stdout]     |                                                ++++++++++++++++
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | TyParam | crate::DefPathItem::ForeignMod => &[],
[INFO] [stdout]     |                                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ConstParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:658:22
[INFO] [stdout]     |
[INFO] [stdout] 658 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ----------   ^^^^^^^^^^^^^   ^^^^^^^   ^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               pattern doesn't bind `ConstParam`
[INFO] [stdout]     |         |            pattern doesn't bind `ConstParam`
[INFO] [stdout]     |         variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 658 |         crate::DefKind::ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ++++++++++++++++
[INFO] [stdout] 658 |         crate::FullDefKind::ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:139:13
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   -------   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         variable not in all patterns
[INFO] [stdout]     |             pattern doesn't bind `AssocFn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | crate::DefKind::AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                       ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:139:13
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ----------   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         variable not in all patterns
[INFO] [stdout]     |             |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             pattern doesn't bind `AssocConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | crate::DefKind::AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                 ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Closure` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:139:13
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   -------   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            variable not in all patterns
[INFO] [stdout]     |             |         |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             pattern doesn't bind `Closure`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | crate::DefKind::Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                              ++++++++++++++++
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | crate::DefPathItem::Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                              ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Variant` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:139:13
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ------- variable not in all patterns
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             pattern doesn't bind `Variant`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::CtorOf::Variant => {
[INFO] [stdout]     |                                                                   +++++++++++++++
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::DefKind::Variant => {
[INFO] [stdout]     |                                                                   ++++++++++++++++
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::FullDefKind::Variant => {
[INFO] [stdout]     |                                                                   ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:139:23
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             -------   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 139 |             crate::DefKind::AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ------- variable not in all patterns
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 66 |         | crate::DefKind::AssocFn
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ------- variable not in all patterns
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 67 |         | crate::DefKind::AssocTy
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Const` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ----- variable not in all patterns
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Const`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 68 |         | crate::AssocItemKind::Const
[INFO] [stdout]    |           ++++++++++++++++++++++
[INFO] [stdout] 68 |         | crate::AssocKind::Const
[INFO] [stdout]    |           ++++++++++++++++++
[INFO] [stdout] 68 |         | crate::BoundVariableKind::Const
[INFO] [stdout]    |           ++++++++++++++++++++++++++
[INFO] [stdout] 68 |         | crate::Constness::Const
[INFO] [stdout]    |           ++++++++++++++++++
[INFO] [stdout]    = and 3 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Enum` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ---- variable not in all patterns
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Enum`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 69 |         | crate::AdtKind::Enum
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 69 |         | crate::DefKind::Enum
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 69 |         | serde::de::Unexpected::Enum
[INFO] [stdout]    |           +++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Fn` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           -- variable not in all patterns
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 70 |         | crate::AssocKind::Fn
[INFO] [stdout]    |           ++++++++++++++++++
[INFO] [stdout] 70 |         | crate::ClosureKind::Fn
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 70 |         | crate::CtorKind::Fn
[INFO] [stdout]    |           +++++++++++++++++
[INFO] [stdout] 70 |         | crate::DefKind::Fn
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignTy` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           --------- variable not in all patterns
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 71 |         | crate::DefKind::ForeignTy
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 71 |         | crate::FullDefKind::ForeignTy
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `OpaqueTy` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           -------- variable not in all patterns
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 73 |         | crate::DefKind::OpaqueTy
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 73 |         | crate::DefPathItem::OpaqueTy
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 73 |         | crate::FullDefKind::OpaqueTy
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Struct` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Struct`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ------ variable not in all patterns
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 75 |         | crate::AdtKind::Struct
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 75 |         | crate::CtorOf::Struct
[INFO] [stdout]    |           +++++++++++++++
[INFO] [stdout] 75 |         | crate::DefKind::Struct
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TraitAlias` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ---------- variable not in all patterns
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 76 |         | crate::DefKind::TraitAlias
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 76 |         | crate::FullDefKind::TraitAlias
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TyAlias` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ------- variable not in all patterns
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::TyAlias`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 77 |         | crate::DefKind::TyAlias
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Union` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Union`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ----- variable not in all patterns
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 78 |         | crate::AdtKind::Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 78 |         | crate::DefKind::Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 78 |         | crate::VariantKind::Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:66:11
[INFO] [stdout]    |
[INFO] [stdout] 65 |         AssocConst
[INFO] [stdout]    |         ---------- variable not in all patterns
[INFO] [stdout] 66 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 67 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 68 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 69 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 70 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 71 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 73 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 75 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 76 |         | TraitAlias
[INFO] [stdout]    |           ^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 77 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 78 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 65 |         crate::DefKind::AssocConst
[INFO] [stdout]    |         ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits.rs:206:13
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   -------   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         variable not in all patterns
[INFO] [stdout]     |             pattern doesn't bind `AssocFn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | crate::DefKind::AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                       ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits.rs:206:13
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ----------   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         variable not in all patterns
[INFO] [stdout]     |             |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             pattern doesn't bind `AssocConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | crate::DefKind::AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                 ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Closure` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits.rs:206:13
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   -------   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            variable not in all patterns
[INFO] [stdout]     |             |         |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             pattern doesn't bind `Closure`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | crate::DefKind::Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                              ++++++++++++++++
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | crate::DefPathItem::Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                              ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Variant` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits.rs:206:13
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ------- variable not in all patterns
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             pattern doesn't bind `Variant`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::CtorOf::Variant => {
[INFO] [stdout]     |                                                                   +++++++++++++++
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::DefKind::Variant => {
[INFO] [stdout]     |                                                                   ++++++++++++++++
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::FullDefKind::Variant => {
[INFO] [stdout]     |                                                                   ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits.rs:206:23
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             -------   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |             variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 206 |             crate::DefKind::AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ExternCrate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:917:13
[INFO] [stdout]     |
[INFO] [stdout] 917 |             ExternCrate(_, i)
[INFO] [stdout]     |             ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::ExternCrate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:918:15
[INFO] [stdout]     |
[INFO] [stdout] 918 |             | Use(_, hir::UseKind::Single(i))
[INFO] [stdout]     |               ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Use;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::Rvalue::Use;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Static` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:919:15
[INFO] [stdout]     |
[INFO] [stdout] 919 |             | Static(i, ..)
[INFO] [stdout]     |               ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ForeignItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Const` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:920:15
[INFO] [stdout]     |
[INFO] [stdout] 920 |             | Const(i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::CanonicalVarInfo::Const;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::GenericArg::Const;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ImplItemKind::Const;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Const;
[INFO] [stdout]     |
[INFO] [stdout]     = and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0574]: expected struct, variant or union type, found trait `Fn`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:921:15
[INFO] [stdout]     |
[INFO] [stdout] 921 |             | Fn { ident: i, .. }
[INFO] [stdout]     |               ^^ not a struct, variant or union type
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants instead
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::AssocItemKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::AssocKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ClosureKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::CtorKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout]     = and 5 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Macro` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:922:15
[INFO] [stdout]     |
[INFO] [stdout] 922 |             | Macro(i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::DefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::FullDefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Mod` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:923:15
[INFO] [stdout]     |
[INFO] [stdout] 923 |             | Mod(i, ..)
[INFO] [stdout]     |               ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Mod;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `TyAlias` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:924:15
[INFO] [stdout]     |
[INFO] [stdout] 924 |             | TyAlias(i, ..)
[INFO] [stdout]     |               ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Enum` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:925:15
[INFO] [stdout]     |
[INFO] [stdout] 925 |             | Enum(i, ..)
[INFO] [stdout]     |               ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Enum;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Struct` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:926:15
[INFO] [stdout]     |
[INFO] [stdout] 926 |             | Struct(i, ..)
[INFO] [stdout]     |               ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Struct;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Union` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:927:15
[INFO] [stdout]     |
[INFO] [stdout] 927 |             | Union(i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Union;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Trait` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:928:15
[INFO] [stdout]     |
[INFO] [stdout] 928 |             | Trait(_, _, i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ClauseKind::Trait;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ExistentialPredicate::Trait;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Trait;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `TraitAlias` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:929:15
[INFO] [stdout]     |
[INFO] [stdout] 929 |             | TraitAlias(i, ..) => i.name.to_ident_string(),
[INFO] [stdout]     |               ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::TraitAlias;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:930:13
[INFO] [stdout]     |
[INFO] [stdout] 930 |             Use(..) | ForeignMod { .. } | GlobalAsm { .. } | Impl { .. } => String::new(),
[INFO] [stdout]     |             ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::Use;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::Rvalue::Use;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ForeignMod` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:930:23
[INFO] [stdout]     |
[INFO] [stdout] 930 |             Use(..) | ForeignMod { .. } | GlobalAsm { .. } | Impl { .. } => String::new(),
[INFO] [stdout]     |                       ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::DefKind::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::DefPathItem::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::FullDefKind::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GlobalAsm` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/hir.rs:930:43
[INFO] [stdout]     |
[INFO] [stdout] 930 |             Use(..) | ForeignMod { .. } | GlobalAsm { .. } | Impl { .. } => String::new(),
[INFO] [stdout]     |                                           ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::DefKind::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::DefPathItem::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::FullDefKind::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ItemKind::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Downcast` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:764:31
[INFO] [stdout]     |
[INFO] [stdout] 764 |             if matches!(elem, Downcast { .. }) {
[INFO] [stdout]     |                               ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ProjectionElem::Downcast;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:770:21
[INFO] [stdout]     |
[INFO] [stdout] 770 |                     Field(index, _) => {
[INFO] [stdout]     |                     ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ProjectionElem::Field;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:800:21
[INFO] [stdout]     |
[INFO] [stdout] 800 |                     Index(local) => ProjectionElem::Index(local.sinto(s)),
[INFO] [stdout]     |                     ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ProjectionElem::Index;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:801:21
[INFO] [stdout]     |
[INFO] [stdout] 801 |                     ConstantIndex {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/constant_utils.rs:131:1
[INFO] [stdout]     |
[INFO] [stdout] 131 | pub type ConstantKind = ConstantExpr;
[INFO] [stdout]     | ------------------------------------- similarly named type alias `ConstantKind` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a type alias with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 801 -                     ConstantIndex {
[INFO] [stdout] 801 +                     ConstantKind {
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ProjectionElem::ConstantIndex;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Subslice` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:810:21
[INFO] [stdout]     |
[INFO] [stdout] 810 |                     Subslice { from, to, from_end } => ProjectionElem::Subslice {
[INFO] [stdout]     |                     ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ProjectionElem::Subslice;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `OpaqueCast` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:815:21
[INFO] [stdout]     |
[INFO] [stdout] 815 |                     OpaqueCast(..) => ProjectionElem::OpaqueCast,
[INFO] [stdout]     |                     ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Subtype` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:818:21
[INFO] [stdout]     |
[INFO] [stdout] 818 |                     Subtype { .. } => panic!("unexpected Subtype"),
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::AliasRelationDirection::Subtype;
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::PredicateKind::Subtype;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Downcast` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:819:21
[INFO] [stdout]     |
[INFO] [stdout] 819 |                     Downcast { .. } => unreachable!(),
[INFO] [stdout]     |                     ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ProjectionElem::Downcast;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `UnwrapUnsafeBinder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:820:21
[INFO] [stdout]     |
[INFO] [stdout] 820 |                     UnwrapUnsafeBinder { .. } => panic!("unsupported feature: unsafe binders"),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Macro` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:620:11
[INFO] [stdout]     |
[INFO] [stdout] 620 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ItemKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Static` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:622:11
[INFO] [stdout]     |
[INFO] [stdout] 622 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/state.rs:72:13
[INFO] [stdout]     |
[INFO] [stdout] 72  |             pub struct $state<$([<$field:camel>],)*>{
[INFO] [stdout]     |             ---------------------------------------- similarly named struct `State` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 622 -         | Static { .. }
[INFO] [stdout] 622 +         | State { .. }
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ForeignItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FunOperand::Static;
[INFO] [stdout]     |
[INFO] [stdout]     = and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `TyAlias` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:626:11
[INFO] [stdout]     |
[INFO] [stdout] 626 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/ty.rs:661:1
[INFO] [stdout]     |
[INFO] [stdout] 661 | pub struct Alias {
[INFO] [stdout]     | ---------------- similarly named struct `Alias` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 626 -         | TyAlias { .. }
[INFO] [stdout] 626 +         | Alias { .. }
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ItemKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Ctor` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:635:11
[INFO] [stdout]     |
[INFO] [stdout] 635 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefKind::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefPathItem::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:21:15
[INFO] [stdout]    |
[INFO] [stdout] 21 |         item: AssocItem,
[INFO] [stdout]    |               ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 5  + use crate::AssocItem;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericArg` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:23:30
[INFO] [stdout]    |
[INFO] [stdout] 23 |         generic_args: &'tcx [GenericArg<'tcx>],
[INFO] [stdout]    |                              ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 5  + use crate::GenericArg;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:33:20
[INFO] [stdout]    |
[INFO] [stdout] 33 |         predicate: PolyTraitPredicate<'tcx>,
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:39:20
[INFO] [stdout]    |
[INFO] [stdout] 39 |         predicate: PolyTraitPredicate<'tcx>,
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericArgsRef` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 |         generics: GenericArgsRef<'tcx>,
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:57:20
[INFO] [stdout]    |
[INFO] [stdout] 57 |         predicate: Predicate<'tcx>,
[INFO] [stdout]    |                    ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 5  + use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:61:18
[INFO] [stdout]     |
[INFO] [stdout] 61  |         r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:171:1
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:66:18
[INFO] [stdout]     |
[INFO] [stdout] 66  |         r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:171:1
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:80:18
[INFO] [stdout]     |
[INFO] [stdout] 80  |         r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:171:1
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |         types: Vec<(DefId, Ty<'tcx>)>,
[INFO] [stdout]    |                            ^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 5  + use crate::Ty;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:95:18
[INFO] [stdout]     |
[INFO] [stdout] 95  |     pub r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:171:1
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:115:17
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub clause: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:122:10
[INFO] [stdout]     |
[INFO] [stdout] 122 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:126:14
[INFO] [stdout]     |
[INFO] [stdout] 126 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ctor` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:139:56
[INFO] [stdout]     |
[INFO] [stdout] 139 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                                        ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::DefKind::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:173:10
[INFO] [stdout]     |
[INFO] [stdout] 173 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:174:11
[INFO] [stdout]     |
[INFO] [stdout] 174 |     pred: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:175:10
[INFO] [stdout]     |
[INFO] [stdout] 175 | ) -> Vec<PolyTraitPredicate<'tcx>> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:193:11
[INFO] [stdout]     |
[INFO] [stdout] 193 |     pred: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:199:10
[INFO] [stdout]     |
[INFO] [stdout] 199 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:202:25
[INFO] [stdout]     |
[INFO] [stdout] 202 |     candidates: HashMap<PolyTraitPredicate<'tcx>, Candidate<'tcx>>,
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:207:31
[INFO] [stdout]     |
[INFO] [stdout] 207 |     pub fn new_for_owner(tcx: TyCtxt<'tcx>, owner_id: DefId) -> Self {
[INFO] [stdout]     |                               ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `TypingEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:210:25
[INFO] [stdout]     |
[INFO] [stdout] 210 |             typing_env: TypingEnv {
[INFO] [stdout]     |                         ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Binder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |         ty: Binder<'tcx, Ty<'tcx>>,
[INFO] [stdout]     |             ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::Binder;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:276:26
[INFO] [stdout]     |
[INFO] [stdout] 276 |         ty: Binder<'tcx, Ty<'tcx>>,
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:282:13
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let TyKind::Alias(AliasTyKind::Projection, alias_ty) = ty.skip_binder().kind() else {
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `TyKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::TyKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:332:17
[INFO] [stdout]     |
[INFO] [stdout] 332 |         target: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:364:16
[INFO] [stdout]     |
[INFO] [stdout] 364 |         tref: &PolyTraitRef<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:171:1
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AssocKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:432:58
[INFO] [stdout]     |
[INFO] [stdout] 432 |                     .filter(|assoc| matches!(assoc.kind, AssocKind::Type))
[INFO] [stdout]     |                                                          ^^^^^^^^^ use of undeclared type `AssocKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::AssocKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Ty`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:435:29
[INFO] [stdout]     |
[INFO] [stdout] 435 | ...                   Ty::new_projection(tcx, assoc.def_id, erased_tref.skip_binder().args);
[INFO] [stdout]     |                       ^^ use of undeclared type `Ty`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:437:32
[INFO] [stdout]     |
[INFO] [stdout] 437 |                         if let TyKind::Alias(_, alias_ty) = ty.kind() {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `TyKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::TyKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericArgsRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:478:19
[INFO] [stdout]     |
[INFO] [stdout] 478 |         generics: GenericArgsRef<'tcx>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericArgsRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:490:19
[INFO] [stdout]     |
[INFO] [stdout] 490 |         generics: GenericArgsRef<'tcx>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericArgsRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:502:19
[INFO] [stdout]     |
[INFO] [stdout] 502 |         generics: GenericArgsRef<'tcx>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:503:21
[INFO] [stdout]     |
[INFO] [stdout] 503 |         predicates: GenericPredicates<'tcx>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:530:10
[INFO] [stdout]     |
[INFO] [stdout] 530 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ParamEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:531:16
[INFO] [stdout]     |
[INFO] [stdout] 531 |     param_env: ParamEnv<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 5   + use crate::ParamEnv;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:532:16
[INFO] [stdout]     |
[INFO] [stdout] 532 |     trait_ref: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:171:1
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:35:35
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn predicates_defined_on(tcx: TyCtxt<'_>, def_id: DefId) -> GenericPredicates<'_> {
[INFO] [stdout]    |                                   ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:35:65
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn predicates_defined_on(tcx: TyCtxt<'_>, def_id: DefId) -> GenericPredicates<'_> {
[INFO] [stdout]    |                                                                 ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::GenericPredicates;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:62:39
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub fn required_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> GenericPredicates<'tcx> {
[INFO] [stdout]    |                                       ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:62:71
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub fn required_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> GenericPredicates<'tcx> {
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::GenericPredicates;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Impl` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:72:11
[INFO] [stdout]    |
[INFO] [stdout] 72 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::DefKind::Impl;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::DefPathItem::Impl;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::Impl;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::ImplTraitInTraitData::Impl;
[INFO] [stdout]    |
[INFO] [stdout]    = and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Static` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:74:11
[INFO] [stdout]    |
[INFO] [stdout] 74 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::DefKind::Static;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::ForeignItemKind::Static;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::FullDefKind::Static;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::FunOperand::Static;
[INFO] [stdout]    |
[INFO] [stdout]    = and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:87:34
[INFO] [stdout]    |
[INFO] [stdout] 87 | pub fn self_predicate<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> PolyTraitRef<'tcx> {
[INFO] [stdout]    |                                  ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:87:66
[INFO] [stdout]     |
[INFO] [stdout] 87  | pub fn self_predicate<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> PolyTraitRef<'tcx> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout] ...
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Binder`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 89 |     Binder::dummy(TraitRef::identity(tcx, def_id))
[INFO] [stdout]    |     ^^^^^^ use of undeclared type `Binder`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::Binder;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TraitRef`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:89:19
[INFO] [stdout]    |
[INFO] [stdout] 89 |     Binder::dummy(TraitRef::identity(tcx, def_id))
[INFO] [stdout]    |                   ^^^^^^^^ use of undeclared type `TraitRef`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::TraitRef;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:103:38
[INFO] [stdout]     |
[INFO] [stdout] 103 | pub fn implied_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> GenericPredicates<'tcx> {
[INFO] [stdout]     |                                      ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:103:70
[INFO] [stdout]     |
[INFO] [stdout] 103 | pub fn implied_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> GenericPredicates<'tcx> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:110:13
[INFO] [stdout]     |
[INFO] [stdout] 110 |             GenericPredicates {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericPredicates`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:114:19
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 ..GenericPredicates::default()
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^ use of undeclared type `GenericPredicates`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericPredicates`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:117:14
[INFO] [stdout]     |
[INFO] [stdout] 117 |         _ => GenericPredicates::default(),
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^ use of undeclared type `GenericPredicates`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:124:8
[INFO] [stdout]     |
[INFO] [stdout] 124 |     T: TypeFoldable<TyCtxt<'tcx>>,
[INFO] [stdout]     |        ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:124:21
[INFO] [stdout]     |
[INFO] [stdout] 124 |     T: TypeFoldable<TyCtxt<'tcx>>,
[INFO] [stdout]     |                     ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:122:40
[INFO] [stdout]     |
[INFO] [stdout] 122 | pub fn erase_all_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
[INFO] [stdout]     |                                        ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:128:14
[INFO] [stdout]     |
[INFO] [stdout] 128 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFolder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:131:16
[INFO] [stdout]     |
[INFO] [stdout] 131 |     impl<'tcx> TypeFolder<TyCtxt<'tcx>> for RegionEraserVisitor<'tcx> {
[INFO] [stdout]     |                ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:131:27
[INFO] [stdout]     |
[INFO] [stdout] 131 |     impl<'tcx> TypeFolder<TyCtxt<'tcx>> for RegionEraserVisitor<'tcx> {
[INFO] [stdout]     |                           ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:132:25
[INFO] [stdout]     |
[INFO] [stdout] 132 |         fn cx(&self) -> TyCtxt<'tcx> {
[INFO] [stdout]     |                         ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:136:35
[INFO] [stdout]     |
[INFO] [stdout] 122 | pub fn erase_all_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
[INFO] [stdout]     |                                - similarly named type parameter `T` defined here
[INFO] [stdout] ...
[INFO] [stdout] 136 |         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout]     |                                   ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a type parameter with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 136 -         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout] 136 +         fn fold_ty(&mut self, ty: T<'tcx>) -> Ty<'tcx> {
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:136:48
[INFO] [stdout]     |
[INFO] [stdout] 122 | pub fn erase_all_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
[INFO] [stdout]     |                                - similarly named type parameter `T` defined here
[INFO] [stdout] ...
[INFO] [stdout] 136 |         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout]     |                                                ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a type parameter with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 136 -         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout] 136 +         fn fold_ty(&mut self, ty: Ty<'tcx>) -> T<'tcx> {
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:142:16
[INFO] [stdout]     |
[INFO] [stdout] 142 |             T: TypeFoldable<TyCtxt<'tcx>>,
[INFO] [stdout]     |                ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:142:29
[INFO] [stdout]     |
[INFO] [stdout] 142 |             T: TypeFoldable<TyCtxt<'tcx>>,
[INFO] [stdout]     |                             ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Binder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:145:13
[INFO] [stdout]     |
[INFO] [stdout] 145 |             Binder::dummy(t.skip_binder().fold_with(self))
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `Binder`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 29  + use crate::Binder;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:162:8
[INFO] [stdout]     |
[INFO] [stdout] 162 |     T: TypeFoldable<TyCtxt<'tcx>> + Copy,
[INFO] [stdout]     |        ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:162:21
[INFO] [stdout]     |
[INFO] [stdout] 162 |     T: TypeFoldable<TyCtxt<'tcx>> + Copy,
[INFO] [stdout]     |                     ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:160:37
[INFO] [stdout]     |
[INFO] [stdout] 160 | pub fn erase_and_norm<'tcx, T>(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, x: T) -> T
[INFO] [stdout]     |                                     ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TypingEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:160:63
[INFO] [stdout]     |
[INFO] [stdout] 160 | pub fn erase_and_norm<'tcx, T>(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, x: T) -> T
[INFO] [stdout]     |                                                               ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:172:36
[INFO] [stdout]     |
[INFO] [stdout] 172 |     fn to_poly_trait_ref(&self) -> PolyTraitRef<'tcx>;
[INFO] [stdout]     |                                    ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:175:37
[INFO] [stdout]     |
[INFO] [stdout] 175 | impl<'tcx> ToPolyTraitRef<'tcx> for PolyTraitPredicate<'tcx> {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:176:36
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] ...
[INFO] [stdout] 176 |     fn to_poly_trait_ref(&self) -> PolyTraitRef<'tcx> {
[INFO] [stdout]     |                                    ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ctor` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits.rs:206:56
[INFO] [stdout]     |
[INFO] [stdout] 206 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                                        ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefKind::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TypingMode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:212:30
[INFO] [stdout]     |
[INFO] [stdout] 212 |                 typing_mode: TypingMode::PostAnalysis,
[INFO] [stdout]     |                              ^^^^^^^^^^ use of undeclared type `TypingMode`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AliasTyKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:282:27
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let TyKind::Alias(AliasTyKind::Projection, alias_ty) = ty.skip_binder().kind() else {
[INFO] [stdout]     |                           ^^^^^^^^^^^ use of undeclared type `AliasTyKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `EarlyBinder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:301:25
[INFO] [stdout]     |
[INFO] [stdout] 301 |             .map(|pred| EarlyBinder::bind(pred).instantiate(tcx, alias_ty.args))
[INFO] [stdout]     |                         ^^^^^^^^^^^ use of undeclared type `EarlyBinder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `EarlyBinder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:515:30
[INFO] [stdout]     |
[INFO] [stdout] 515 |             .map(|trait_ref| EarlyBinder::bind(trait_ref).instantiate(tcx, generics))
[INFO] [stdout]     |                              ^^^^^^^^^^^ use of undeclared type `EarlyBinder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TypingMode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:545:16
[INFO] [stdout]     |
[INFO] [stdout] 545 |         .build(TypingMode::PostAnalysis);
[INFO] [stdout]     |                ^^^^^^^^^^ use of undeclared type `TypingMode`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0408, E0412, E0422, E0432, E0433, E0463, E0531, E0557...
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hax-frontend-exporter` (lib) due to 184 previous errors
[INFO] running `Command { std: "docker" "inspect" "a9419467e3079563e2e3e481cebcc1158b183219b05bceebe03ffaaa6024640e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9419467e3079563e2e3e481cebcc1158b183219b05bceebe03ffaaa6024640e", kill_on_drop: false }`
[INFO] [stdout] a9419467e3079563e2e3e481cebcc1158b183219b05bceebe03ffaaa6024640e
